Code Coverage Analysis for Concurrent Programming Languages Using High-Level Decision Diagrams

نویسندگان

  • Maksim Jenihhin
  • Jaan Raik
  • Anton Chepurov
  • Uljana Reinsalu
  • Raimund Ubar
چکیده

The paper presents using high-level decision diagram (HLDD) as a suitable graph model for code coverage analysis in concurrent programming languages. The authors show that HLDD models are scalable and compact models for realistic problems can be automatically obtained. At the same time they allow covering paths of non-blocking assignments, which conventional code coverage metrics designed for procedural programming languages are unable to handle. The paper proposes optimal minimization rules to be used in HLDD model synthesis for code coverage analysis.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards Distributed Software Model-Checking Using Decision Diagrams

Symbolic data structures such as Decision Diagrams have proved successful for model-checking. For high-level specifications such as those used in programming languages, especially when manipulating pointers or arrays, building and evaluating the transition is a challenging problem that limits wider applicability of symbolic methods. We propose a new symbolic algorithm, EquivSplit, allowing an e...

متن کامل

Symbolic Solver for Live Variable Analysis of High Level Design Languages

This paper presents an efficient binary decision diagram solver for live variable analysis of high level design languages like SpecC. A novel representation of the program as a global structure using efficient data structure called Binary Decision Diagrams is presented. Based on the global structure of the program, a relational framework for live variable analysis is proposed and the solver alg...

متن کامل

Roundtrip Engineering with FUJABA 1

1 Introduction Typically, UML is used in the early software development phases. Use-case diagrams serve for requirements analysis. During object-oriented analysis and design, the different use-cases are refined by a number of scenarios using sequence diagrams, collaboration diagrams or activity diagrams. In more elaborated cases, state-charts may be used to specify exact (object) behaviour. In ...

متن کامل

Type-Based Analysis of Communication for Concurrent Programming Languages

Powerful concurrency primitives in recent concurrent languages and thread libraries provide the great exibility about implementation of high-level features like concurrent objects. However, they are so low-level that they often make it di cult to check global correctness of programs or to perform aggressive code optimization. We propose a static analysis method for inferring how many times each...

متن کامل

Concurrency in Object-Oriented Programming Languages

An essential motivation behind concurrent object-oriented programming is to exploit the software reuse potential of object-oriented features in the development of concurrent systems. Early attempts to introduce concurrency to object-oriented languages uncovered interferences between object-oriented and concurrency features that limited the extent to which the benefits of object-oriented program...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009